On the equivalence problem for attribute systems
نویسندگان
چکیده
منابع مشابه
On the Equivalence Problem for Attribute Systems
The authors have shown in Courcelle et al. (1982) that certain attribute systems called strongly noneireular can be translated into recursive program schemes taking derivation trees as arguments and called primitive reeursive schemes with parameters. In particular, the equivalence problem for strongly noncircular attribute systems reduces to the equivalence problem for the latter class of progr...
متن کاملthe algorithm for solving the inverse numerical range problem
برد عددی ماتریس مربعی a را با w(a) نشان داده و به این صورت تعریف می کنیم w(a)={x8ax:x ?s1} ، که در آن s1 گوی واحد است. در سال 2009، راسل کاردن مساله برد عددی معکوس را به این صورت مطرح کرده است : برای نقطه z?w(a)، بردار x?s1 را به گونه ای می یابیم که z=x*ax، در این پایان نامه ، الگوریتمی برای حل مساله برد عددی معکوس ارانه می دهیم.
15 صفحه اولOn the Equivalence Problem for
On the one hand, the inclusion problem for nonerasing and erasing pattern languages is undecidable; see JSSY95]. On the other hand, the language equivalence problem for NE-pattern languages is trivially decidable (see Ang80a]) but the question of whether the same holds for E-pattern languages is still open. It has been conjectured by Jiang et al. JSSY95] that the language equivalence problem fo...
متن کاملOn the equivalence problem for succession rules
The notion of succession rule (system for short) provides a powerful tool for the enumeration of many classes of combinatorial objects. Often, different systems exist for a given class of combinatorial objects, and a number of problems arise naturally. An important one is the equivalence problem between two different systems. In this paper, we show how to solve this problem in the case of syste...
متن کاملTwo Stage Multiple Attribute Decision Making Problem in Iranian Gas Distribution Systems
The purpose of this paper is to present the possibility of replacing physical unit cost in transportation or distribution problems by an aggregate coefficient, getting qualitative and subjective considerations involved. The model for constructing aggregate cost is a two stage multiple attribute decision-making problems. In the first stage supply points, demand points and routes of transportatio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Control
سال: 1982
ISSN: 0019-9958
DOI: 10.1016/s0019-9958(82)90786-0